- short-proof
- защищённый от коротких замыканий
English-Russian scientific dictionary. 2008.
short-proof
Смотреть что такое "short-proof" в других словарях:
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof (rapper) — Proof Proof in August 2005 Background information Birth name DeShaun Dupree Holton Born October 2, 1973 … Wikipedia
proof — n [alteration of Middle English preove, from Old French preuve, from Late Latin proba, from Latin probare to prove] 1: the effect of evidence sufficient to persuade a reasonable person that a particular fact exists see also evidence 2: the… … Law dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof Of Destruction — (P.O.D.) is a computer game for the Commodore 64, developed by Mr. Chip Software and published by Mastertronic. It is a shooter, Centipede like game released in 1987, featuring up to two player spaceships moving about on a grid, trying to kill… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
proof — The effect of evidence; the establishment of a fact by evidence. New England Newspaper Pub. Co. v. Bonner, C.C.A.Mass., 77 F.2d 915, 916. Any fact or circumstance which leads the mind to the affirmative or negative of any proposition. The… … Black's law dictionary
